function remove(str) {
   str = str.split(/\d/).join("");
   str = str.split(/\W/).join("");
   str = str.replace(/[^ATGC]/g, "");
   return str;
   }

function tidyup() {
        str=document.requestForm.sequence.value.toUpperCase();
        str=remove(str);
        
		  if (!str) {document.requestForm.sequence.value=''};
   			var revstr='';
   			var k=0;
   			for (i =0; i<str.length; i++) {
      			revstr+=str.charAt(i);
      			k+=1;
      			if (k%27==0) {revstr+='\n'};
   			};        
        
   	  document.requestForm.sequence.value=revstr;
}

function add(str) {
        document.requestForm.sequence.value+=str;
}

function clear() {
        document.requestForm.sequence.value='';
};